- группоид с сокращением
- cancellation groupoid, cancellative groupoid
Русско-английский научно-технический словарь Масловского. 2015.
группоид с сокращением
Look at other dictionaries:
ГРУППОИД — универсальная алгебра с одной бинарной операцией. Г. самый широкий класс таких алгебр; группы, полугруппы, квазигруппы все это Г. специального вида. Важным понятием для Г. является понятие изотоп и и операций. Пусть на множестве Gопределены две… … Математическая энциклопедия
УПОРЯДОЧЕННАЯ ПОЛУГРУППА — полугруппа, наделенная структурой (частичного, вообще говоря) порядка стабильного относительно полугрупповой операции, т. е. для любых элементов а, b, с из следует и Если отношение на У. н. Sесть линейный порядок, то S наз. линейно упорядоченной… … Математическая энциклопедия
АЛГЕБРАИЧЕСКИХ СИСТЕМ КВАЗИМНОГООБРАЗИЕ — класс алгебраич. систем ( систем), аксиоматизируемый при помощи специальных формул логич. языка 1 й ступени, к рые наз. квазитождествами, или условными тождествами, и имеют вид: где термы сигнатуры от предметных переменных . В силу теоремы… … Математическая энциклопедия
АРХИМЕДОВА ПОЛУГРУППА — 1) Линейно упорядоченная полугруппа, все строго положительные (строго отрицательные) элементы к рой принадлежат одному архимедову классу. Всякая естественно упорядоченная А. п. S(см. Естественно упорядоченный группоид) изоморфна нек рой… … Математическая энциклопедия
Группа (математика) — Теория групп … Википедия
Группа (алгебра) — Группа в абстрактной алгебре непустое множество с определённой на нём бинарной операцией, удовлетворяющей указанным ниже аксиомам. Ветвь математики, занимающаяся группами, называется теорией групп. Всем знакомые вещественные числа наделены… … Википедия
